Lambda point - PDFSEARCH.IO - Document Search Engine

Lambda point
Results: 124

#	Item
71	PDF Document Add to Reading List Source URL: www.aplusplus.net Language: English - Date: 2004-10-26 12:29:21 Programming paradigms Lambda calculus A++ Scripting languages Programming language Fixed-point combinator Abstraction ARS++ ARS-based programming Computing Software engineering Computer programming
72	The Why of Y Richard P. Gabriel Lucid, Inc. and Stanford University Did you ever wonder how Y works and how anyone could ever have thought of it? In this note I’ll try to explain to you not only how it works, but how s Add to Reading List Source URL: www.dreamsongs.com Language: English - Date: 2012-08-04 16:00:09 Declarative programming Fixed-point combinator Closure Function Combinatory logic Currying Factorial Binary lambda calculus Mathematics Lambda calculus Software engineering
73	Calculating Criticalities A. Bundy1 F. Giunchiglia2 3 R. Sebastiani4 T. Walsh2 4 ; ; Add to Reading List Source URL: www.cse.unsw.edu.au Language: English - Date: 2013-07-29 07:14:05 Lambda calculus Logic in computer science Order theory FO Finite model theory Abstraction Fixed-point combinator Combinatory logic Monotonic function Theoretical computer science Mathematics Mathematical analysis
74	An Illative Lambda-Calculus Roger Bishop Jones Abstract This is an approach to illative lambda-calculi via construction of an infinitary calculus in a well-founded set theory. Add to Reading List Source URL: www.rbjones.com Language: English - Date: 2012-09-28 15:44:05 Lambda calculus Combinatory logic Logic in computer science Infinitary logic Model theory Free variables and bound variables Finitary Fixed-point combinator Simply typed lambda calculus Mathematical logic Theoretical computer science Logic
75	Ivor, a Proof Engine Edwin Brady School of Computer Science, University of St Andrews, St Andrews, Scotland. Email: [removed]. Tel: +[removed], Fax: +[removed] Add to Reading List Source URL: eb.host.cs.st-andrews.ac.uk Language: English - Date: 2007-02-05 08:12:08 Functional languages Type theory Lambda calculus Logic in computer science Functional programming Combinatory logic Fixed-point combinator Dependent type Monad Software engineering Declarative programming Theoretical computer science
76	Analyzing Module Diversity1 Alexandre Bergel (Software Composition Group, University of Bern, Switzerland [removed]/∼scg) St´ ephane Ducasse Add to Reading List Source URL: rmod.lille.inria.fr Language: English - Date: 2012-07-29 09:42:05 Lambda calculus Module theory Namespace Fixed-point combinator Perl module Simple module Module Combinatory logic D-module Software engineering Mathematics Abstract algebra
77	Call-by-name linguistic side effects Oleg Kiselyov FNMOC [removed] Abstract Add to Reading List Source URL: okmij.org Language: English - Date: 2008-08-18 21:58:00 Mathematical logic Free variables and bound variables System F Combinatory logic Fixed-point combinator Theoretical computer science Lambda calculus Mathematics
78	Functional Programming with Structured Graphs Bruno C. d. S. Oliveira William R. Cook National University of Singapore Add to Reading List Source URL: www.cs.utexas.edu Language: English - Date: 2015-01-22 14:17:56 Recursion Lambda calculus Functional programming Higher-order functions Computability theory Fixed-point combinator Generic programming Fold Functor Software engineering Mathematics Declarative programming
79	Functional Programming with Structured Graphs Bruno C. d. S. Oliveira William R. Cook National University of Singapore Add to Reading List Source URL: www.cs.utexas.edu Language: English - Date: 2015-01-22 14:17:56 Recursion Lambda calculus Functional programming Higher-order functions Computability theory Fixed-point combinator Generic programming Fold Functor Software engineering Mathematics Declarative programming
80	Type Preservation as a Confluence Problem∗ Aaron Stump1 , Garrin Kimmell1 , and Roba El Haj Omar1 1 Computer Science The University of Iowa Add to Reading List Source URL: drops.dagstuhl.de Language: English - Date: 2011-04-26 05:41:58 Mathematics Logic in computer science Formal languages Models of computation Combinatory logic Fixed-point combinator Rewriting Simply typed lambda calculus Overlap Theoretical computer science Applied mathematics Lambda calculus

UPDATE